--1.参数列表
--1.1优惠券id
local voucherId=ARGV[1]
--1.2用户id
local userId=ARGV[2]
-- 使用Redis中的Stream消息队列来做，向创建的队列中发消息，内容包括vocherId,userId,orderId
--1.3订单id
local orderId=ARGV[3]
--2.数据key
--2.1库存key
local stockKey='seckill:stock:'..voucherId
--2.2订单key
local orderKey='seckill:order:'..voucherId

--3.业务逻辑
if(tonumber(redis.call('get',stockKey))<=0) then
    --库存不足
    return 1
end
if(redis.call('sismember',orderKey,userId)>0) then
    --用户已经下过单
    return 2
end
--库存-1
redis.call('incrby',stockKey,-1)
--下单
redis.call('sadd',orderKey,userId)
--发送消息到队列中
redis.call('xadd','stream.orders','*','userId',userId,'voucherId',voucherId,'id',orderId)
return 0